Meta Constraints for Consistency Checks of Embedded System Specifications

by Andreas Burger, Wolfgang Ecker, Oliver Bringmann, and Wolfgang Rosenstiel
In ESWeek Workshop MeCoES, pages 58–66, 2012.